Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
31	26th International Workshop on Qualitative Reasoning The world is full of systems that have continuous aspects, and about which we have incomplete, qualitative knowledge. Humans are amazingly effective at working with su Add to Reading List Source URL: www.qrg.northwestern.edu Language: English - Date: 2013-05-31 16:28:42 Reasoning Qualitative reasoning Ken Forbus System Analogy Social science Qualitative Reasoning Group
32	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:47:03 Irregular bones Skeletal system Vertebrate anatomy Spinal cord disorders Artificial neural networks Vertebral column Spondylolisthesis Case-based reasoning Sacrum Vertebra Spinal disc herniation CBR
33	ALTERNATIVE ROUTES TO A MULTIPURPOSE CADASTRE: MERGING INSTITUTIONAL AND TECHNICAL REASONING Nicholas R. Chrisman and Bernard J. Niemann, Jr. Land Information and Computer Graphics Facility Department of Landscape Archit Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:58:25 Surveying Real estate Geographic information systems Cadastre Land information system Geodetic control network National Research Council Survey Public Land Survey System Boundary Land survey
34	Microsoft Word - Howarth-Statement.doc Add to Reading List Source URL: ncgia.ucsb.edu Language: English - Date: 2015-10-21 13:07:48 Geographic data and information Geography Cartography Geostatistics Spatial analysis Geographic information system Spatial database Spatial ecology Spatialtemporal reasoning
35	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
36	Temporal Relation Classification Based on Temporal Reasoning Francisco Costa University of Lisbon Ant´onio Branco Add to Reading List Source URL: www.di.fc.ul.pt Language: English - Date: 2016-05-03 08:49:38 Natural language processing Computational linguistics Semantics Artificial intelligence Temporal annotation TimeML SemEval Information extraction Temporal expressions Statistical classification Reasoning system Support vector machine
37	GRADE 6 MATHEMATICS KNOW UNDERSTAND RATIO CONCEPTS AND USE RATIO REASONING TO SOLVE PROBLEMS Add to Reading List Source URL: www.sau50.org Language: English - Date: 2014-08-01 11:03:57 Elementary arithmetic Elementary mathematics Numbers Analytic geometry Elementary algebra 0.999... Equation Real number Fraction Coordinate system Mathematics Negative number
38	Distributed Stream Reasoning Rehab Albeladi, Kirk Martinez, Nicholas Gibbins Electronics and Computer Science, University of Southampton, UK {raab1g09, km, nmg }@ecs.soton.ac.uk Abstract. Stream Reasoning is the combina Add to Reading List Source URL: 2012.eswc-conferences.org Language: English - Date: 2012-07-23 09:47:34 Semantic Web Knowledge engineering Knowledge representation Resource Description Framework Web services Data stream management system Semantic reasoner Rete algorithm RDF Schema Stream SPARQL Graph database
39	IN PARTNERSHIP WITH: CNRS Institut polytechnique de Grenoble Université Pierre Mendes-France (Grenoble) Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:31 Semantic Web Knowledge representation Information science Ontology Knowledge engineering Web Ontology Language Resource Description Framework Simple Knowledge Organization System Knowledge representation and reasoning Description logic Upper ontology Draft:Outline of ontologies
40	EXPERT SYSTEMS APPLIED TO PROBLEMS IN GEOGRAPHIC INFORMATION SYSTEMS: INTRODUCTION, REVIEW AND PROSPECTS Vincent B. Robinson (Goss.Ensuadrain§UNCA-MULTICS.MAILNET) Department of Surveying Engineering Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:26:02 Artificial intelligence Decision theory Information systems Knowledge engineering Expert systems Prolog Geographic information system Knowledge representation and reasoning Decision support system Knowledge acquisition Planner SHINE Expert System